The Universal Computer – The Road from Leibniz to Turing: The Road from Leibnitz to Turing
by Martin Davis
ISBN 13: 9780393047851
Format: Hardcover (270 pages) Publisher: W. W. Norton & Company Published: 17 Oct 2000
Save for later
Set Theory and the Continuum Hypothesis (Dover Books on Mathematics)
by Paul J Cohen,Martin Davis
ISBN 13: 9780486469218
Format: Illustrated (192 pages) Publisher: Dover Publications Inc. Published: 27 Feb 2009